Loop invariant - PDFSEARCH.IO - Document Search Engine

Loop invariant
Results: 48

#	Item
31	Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-02 08:17:07 Mathematical logic Invariant Loop invariant Automated theorem proving Emmy Noether First-order logic Mathematics Software engineering Formal methods
32	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
33	ALICe: A Framework to Improve Aﬃne Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-16 04:29:27 Loop invariant Invariant Control flow Abstract interpretation State space Mathematics Science Knowledge Control theory Cybernetics Model checking
34	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
35	NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 05:35:01 Control flow Loop invariant Transformer Precondition KeY Group action Predicate transformer semantics Theoretical computer science Software engineering Mathematics
36	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
37	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics
38	Microsoft Word - 20-Optimization.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:20:08 Computer programming Constant folding Static single assignment form Loop-invariant code motion Dead code elimination Compiler Program optimization Data-flow analysis Goto Software engineering Compiler optimizations Computing
39	PDF Document Add to Reading List Source URL: www.horosoft.net Language: English - Date: 2010-10-15 01:57:18 Control flow Loop invariant DJ Premier discography
40	A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2 Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2013-01-07 14:10:37 Algebraic geometry Invariant Homogeneous polynomial Loop invariant Monomial Quantum invariant Mathematics Algebra Invariant theory